$\forall$$A$, $B$, $C$:System. $A$ $\parallel$ $B$ $\Rightarrow$ $C$ $\parallel$ $A$ $\Rightarrow$ $C$ $\parallel$ $B$ $\Rightarrow$ $C$ $\parallel$ $A$ $\oplus$ $B$